@option style:legacy;

.comment a.user:hover { font-weight: bold }
.hoverlink { @extend a:hover }
